Logica Dominans vs. Logica Serviens
نویسندگان
چکیده
Logic is usually presented as a tool of rational inquiry; however, many logicians in fact treat logic so that it does not serve us, but rather governs us – beings we are subordinated to the logical laws aspire disclose. We denote view primarily serves logica serviens, while denoting thesis our reasoning dominans. argue treating dominans misguided, for leads idea “genuine” within language. Instead this, offer naturalistic picture, according which only languages exist natural and artificial have built. There is, argue, no language beyond these, especially none would be wholesome vehicle like yet transparently rigorous ones. matter using idealized models ones, whereby pinpoint by means zooming on reflective equilibrium.
منابع مشابه
Logica utens
Peirce introduced an ingenious classification of signs and a theory of reasoning. Though he maintained that reasoning presupposes signs, to our best knowledge, he did not define a link between his two theories. In this paper we make a first attempt to reveal the possibility for such a relation, in the framework of a cognitively based model of
متن کاملGenerazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica Disgiuntiva
Sommario La programmazione logica disgiuntiva (PLD) costituisce un potente strumento per la rappresentazione della conoscenza e del ragionamento di senso comune. Un’importante applicazione della PLD è l’answer set planning. Nell’answer set planning un problema di pianificazione P è codificato in un programma PL in PLD, tale che ogni answer set di PL corrisponda ad una soluzione del problema di ...
متن کاملEvaluating Backjumping for Disjunctive Logic Programming Valutazione del Backjumping per Programmazione Logica Disgiuntiva
SOMMARIO/ABSTRACT In questo articolo presentiamo la tecnica del backjump-ing per la Programmazione Logica Disgiuntiva, prendendo spunto dai lavori svolti per solutori per Constraint e log-ica proposizionale. A differenza dei lavori citati, ci fo-calizzaremo su backjumping senza (clause) learning. Pre-senteremo un fondamento teorico per questa tecnica sfrut-tando le peculiarità della logica su c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2022
ISSN: ['1425-3305', '2300-9802']
DOI: https://doi.org/10.12775/llp.2022.004